#include<bits/stdc++.h>
using namespace std;
int main() {
  int a, b, c;
  int Case=0;
  while(scanf("%d%d%d", &a, &b, &c)==3) {
    bool ans=false;
    while(a<100 && b<100 && c<100 && !ans) {
      while(a<10) a+=3;
      while(b<10) b+=5;
      while(c<10) c+=7;
      if(a>=c && b>=c) c+=7;
      if(a>=b && c>=b) b+=5;
      if(b>=a && c>=a) a+=3;
      if(a==b && b==c) ans=true;
    }
    if(ans)printf("Case %d: %d\n", ++Case, a);
    else printf("No answer\n");
  }
  return 0;
}
